Graph Nodes:
X3;X2;X4;X13;X10;X6;X11;X12;X9;X8

Graph Edges:
1. X3 o-> X4
2. X3 <-> X11
3. X3 <-> X9
4. X2 <-> X4
5. X2 <-> X12
6. X4 <-> X10
7. X13 o-o X6
8. X13 o-> X11
9. X13 o-> X9
10. X10 --> X12
11. X10 <-> X9
12. X6 o-> X11
13. X6 o-> X12
14. X11 <-> X12
15. X8 o-> X11
